Design of software for safety critical systems

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Managing Architectural Design Decisions for Safety-Critical Software Systems

In this paper, we propose a negative scenario framework along with a mitigation action model as the linkage between safety quality attribute and architecture definition. The scenario framework provides an effective means of formulating safety concerns. The mitigation action model facilitates exploitation and codification of existing safety-critical system design knowledge. Finally, we present a...

متن کامل

Safety - Critical Systems Design

Introduction Embedded systems are like normal desktop systems in that they have functional requirements, that is, functions that the system is expected to perform, such as moving the robot arms. One of the ways embedded systems differ from desktop systems is that they also have significant quality of service (QoS) requirements as well. In real-time embedded systems, for example, timeliness and ...

متن کامل

Embedded Software Development For Safety Critical Systems

Title Type embedded software development for safety-critical systems PDF mission-critical and safety-critical systems handbook design and development for embedded applications PDF software engineering for embedded systems chapter 17 multicore software development for embedded systems this chapter draws on material from the multicore guide mpp from the multicore association PDF embedded systems ...

متن کامل

Processes for software in safety critical systems

Two complementary standards are compared, both of which are concerned with the production of quality software. One, IEC 61508, is concerned with the safety of software intensive systems and the other, ISO/IEC TR 15504, takes a process view of software capability assessment. The standards are independent, though both standards build on ISO/IEC 12207. The paper proposes a correspondence between t...

متن کامل

Design patterns for safety-critical embedded systems

Over the last few years, embedded systems have been increasingly used in safetycritical applications where failure can have serious consequences. The design of these systems is a complex process, which is requiring the integration of common design methods both in hardware and software to fulfill functional and non-functional requirements for these safety-critical applications. Design patterns, ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Sadhana

سال: 1994

ISSN: 0256-2499,0973-7677

DOI: 10.1007/bf02743937